Optimal. Leaf size=238 \[ \frac{(f h-e i)^2 (a+b \log (c (e+f x)))^3}{3 b d f^3}+\frac{2 i (e+f x) (f h-e i) (a+b \log (c (e+f x)))^2}{d f^3}+\frac{i^2 (e+f x)^2 (a+b \log (c (e+f x)))^2}{2 d f^3}-\frac{b i^2 (e+f x)^2 (a+b \log (c (e+f x)))}{2 d f^3}-\frac{4 a b i x (f h-e i)}{d f^2}-\frac{4 b^2 i (e+f x) (f h-e i) \log (c (e+f x))}{d f^3}+\frac{4 b^2 i x (f h-e i)}{d f^2}+\frac{b^2 i^2 (e+f x)^2}{4 d f^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.513442, antiderivative size = 238, normalized size of antiderivative = 1., number of steps used = 16, number of rules used = 10, integrand size = 32, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.312, Rules used = {2411, 12, 2346, 2302, 30, 2296, 2295, 2330, 2305, 2304} \[ \frac{(f h-e i)^2 (a+b \log (c (e+f x)))^3}{3 b d f^3}+\frac{2 i (e+f x) (f h-e i) (a+b \log (c (e+f x)))^2}{d f^3}+\frac{i^2 (e+f x)^2 (a+b \log (c (e+f x)))^2}{2 d f^3}-\frac{b i^2 (e+f x)^2 (a+b \log (c (e+f x)))}{2 d f^3}-\frac{4 a b i x (f h-e i)}{d f^2}-\frac{4 b^2 i (e+f x) (f h-e i) \log (c (e+f x))}{d f^3}+\frac{4 b^2 i x (f h-e i)}{d f^2}+\frac{b^2 i^2 (e+f x)^2}{4 d f^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2411
Rule 12
Rule 2346
Rule 2302
Rule 30
Rule 2296
Rule 2295
Rule 2330
Rule 2305
Rule 2304
Rubi steps
\begin{align*} \int \frac{(h+185 x)^2 (a+b \log (c (e+f x)))^2}{d e+d f x} \, dx &=\frac{\operatorname{Subst}\left (\int \frac{\left (\frac{-185 e+f h}{f}+\frac{185 x}{f}\right )^2 (a+b \log (c x))^2}{d x} \, dx,x,e+f x\right )}{f}\\ &=\frac{\operatorname{Subst}\left (\int \frac{\left (\frac{-185 e+f h}{f}+\frac{185 x}{f}\right )^2 (a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f}\\ &=\frac{185 \operatorname{Subst}\left (\int \left (\frac{-185 e+f h}{f}+\frac{185 x}{f}\right ) (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^2}-\frac{(185 e-f h) \operatorname{Subst}\left (\int \frac{\left (\frac{-185 e+f h}{f}+\frac{185 x}{f}\right ) (a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f^2}\\ &=\frac{185 \operatorname{Subst}\left (\int \left (\frac{(-185 e+f h) (a+b \log (c x))^2}{f}+\frac{185 x (a+b \log (c x))^2}{f}\right ) \, dx,x,e+f x\right )}{d f^2}-\frac{(185 (185 e-f h)) \operatorname{Subst}\left (\int (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^3}+\frac{(185 e-f h)^2 \operatorname{Subst}\left (\int \frac{(a+b \log (c x))^2}{x} \, dx,x,e+f x\right )}{d f^3}\\ &=-\frac{185 (185 e-f h) (e+f x) (a+b \log (c (e+f x)))^2}{d f^3}+\frac{34225 \operatorname{Subst}\left (\int x (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^3}-\frac{(185 (185 e-f h)) \operatorname{Subst}\left (\int (a+b \log (c x))^2 \, dx,x,e+f x\right )}{d f^3}+\frac{(370 b (185 e-f h)) \operatorname{Subst}(\int (a+b \log (c x)) \, dx,x,e+f x)}{d f^3}+\frac{(185 e-f h)^2 \operatorname{Subst}\left (\int x^2 \, dx,x,a+b \log (c (e+f x))\right )}{b d f^3}\\ &=\frac{370 a b (185 e-f h) x}{d f^2}-\frac{370 (185 e-f h) (e+f x) (a+b \log (c (e+f x)))^2}{d f^3}+\frac{34225 (e+f x)^2 (a+b \log (c (e+f x)))^2}{2 d f^3}+\frac{(185 e-f h)^2 (a+b \log (c (e+f x)))^3}{3 b d f^3}-\frac{(34225 b) \operatorname{Subst}(\int x (a+b \log (c x)) \, dx,x,e+f x)}{d f^3}+\frac{(370 b (185 e-f h)) \operatorname{Subst}(\int (a+b \log (c x)) \, dx,x,e+f x)}{d f^3}+\frac{\left (370 b^2 (185 e-f h)\right ) \operatorname{Subst}(\int \log (c x) \, dx,x,e+f x)}{d f^3}\\ &=\frac{740 a b (185 e-f h) x}{d f^2}-\frac{370 b^2 (185 e-f h) x}{d f^2}+\frac{34225 b^2 (e+f x)^2}{4 d f^3}+\frac{370 b^2 (185 e-f h) (e+f x) \log (c (e+f x))}{d f^3}-\frac{34225 b (e+f x)^2 (a+b \log (c (e+f x)))}{2 d f^3}-\frac{370 (185 e-f h) (e+f x) (a+b \log (c (e+f x)))^2}{d f^3}+\frac{34225 (e+f x)^2 (a+b \log (c (e+f x)))^2}{2 d f^3}+\frac{(185 e-f h)^2 (a+b \log (c (e+f x)))^3}{3 b d f^3}+\frac{\left (370 b^2 (185 e-f h)\right ) \operatorname{Subst}(\int \log (c x) \, dx,x,e+f x)}{d f^3}\\ &=\frac{740 a b (185 e-f h) x}{d f^2}-\frac{740 b^2 (185 e-f h) x}{d f^2}+\frac{34225 b^2 (e+f x)^2}{4 d f^3}+\frac{740 b^2 (185 e-f h) (e+f x) \log (c (e+f x))}{d f^3}-\frac{34225 b (e+f x)^2 (a+b \log (c (e+f x)))}{2 d f^3}-\frac{370 (185 e-f h) (e+f x) (a+b \log (c (e+f x)))^2}{d f^3}+\frac{34225 (e+f x)^2 (a+b \log (c (e+f x)))^2}{2 d f^3}+\frac{(185 e-f h)^2 (a+b \log (c (e+f x)))^3}{3 b d f^3}\\ \end{align*}
Mathematica [A] time = 0.158805, size = 171, normalized size = 0.72 \[ \frac{\frac{4 (f h-e i)^2 (a+b \log (c (e+f x)))^3}{b}+24 i (e+f x) (f h-e i) (a+b \log (c (e+f x)))^2-48 b i (f h-e i) (f x (a-b)+b (e+f x) \log (c (e+f x)))+6 i^2 (e+f x)^2 (a+b \log (c (e+f x)))^2+3 b i^2 \left (b f x (2 e+f x)-2 (e+f x)^2 (a+b \log (c (e+f x)))\right )}{12 d f^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.068, size = 825, normalized size = 3.5 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.29231, size = 791, normalized size = 3.32 \begin{align*} 4 \, a b h i{\left (\frac{x}{d f} - \frac{e \log \left (f x + e\right )}{d f^{2}}\right )} \log \left (c f x + c e\right ) + a b i^{2}{\left (\frac{2 \, e^{2} \log \left (f x + e\right )}{d f^{3}} + \frac{f x^{2} - 2 \, e x}{d f^{2}}\right )} \log \left (c f x + c e\right ) - a b h^{2}{\left (\frac{2 \, \log \left (c f x + c e\right ) \log \left (d f x + d e\right )}{d f} - \frac{\log \left (f x + e\right )^{2} + 2 \, \log \left (f x + e\right ) \log \left (c\right )}{d f}\right )} + 2 \, a^{2} h i{\left (\frac{x}{d f} - \frac{e \log \left (f x + e\right )}{d f^{2}}\right )} + \frac{1}{2} \, a^{2} i^{2}{\left (\frac{2 \, e^{2} \log \left (f x + e\right )}{d f^{3}} + \frac{f x^{2} - 2 \, e x}{d f^{2}}\right )} + \frac{b^{2} h^{2} \log \left (c f x + c e\right )^{3}}{3 \, d f} + \frac{2 \, a b h^{2} \log \left (c f x + c e\right ) \log \left (d f x + d e\right )}{d f} + \frac{a^{2} h^{2} \log \left (d f x + d e\right )}{d f} + \frac{2 \,{\left (e \log \left (f x + e\right )^{2} - 2 \, f x + 2 \, e \log \left (f x + e\right )\right )} a b h i}{d f^{2}} - \frac{{\left (f^{2} x^{2} + 2 \, e^{2} \log \left (f x + e\right )^{2} - 6 \, e f x + 6 \, e^{2} \log \left (f x + e\right )\right )} a b i^{2}}{2 \, d f^{3}} - \frac{2 \,{\left (c^{2} e \log \left (c f x + c e\right )^{3} - 3 \,{\left (c f x + c e\right )}{\left (c \log \left (c f x + c e\right )^{2} - 2 \, c \log \left (c f x + c e\right ) + 2 \, c\right )}\right )} b^{2} h i}{3 \, c^{2} d f^{2}} + \frac{{\left (4 \, c^{3} e^{2} \log \left (c f x + c e\right )^{3} + 3 \,{\left (c f x + c e\right )}^{2}{\left (2 \, c \log \left (c f x + c e\right )^{2} - 2 \, c \log \left (c f x + c e\right ) + c\right )} - 24 \,{\left (c^{2} e \log \left (c f x + c e\right )^{2} - 2 \, c^{2} e \log \left (c f x + c e\right ) + 2 \, c^{2} e\right )}{\left (c f x + c e\right )}\right )} b^{2} i^{2}}{12 \, c^{3} d f^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.60253, size = 709, normalized size = 2.98 \begin{align*} \frac{3 \,{\left (2 \, a^{2} - 2 \, a b + b^{2}\right )} f^{2} i^{2} x^{2} + 4 \,{\left (b^{2} f^{2} h^{2} - 2 \, b^{2} e f h i + b^{2} e^{2} i^{2}\right )} \log \left (c f x + c e\right )^{3} + 6 \,{\left (b^{2} f^{2} i^{2} x^{2} + 2 \, a b f^{2} h^{2} - 4 \,{\left (a b - b^{2}\right )} e f h i +{\left (2 \, a b - 3 \, b^{2}\right )} e^{2} i^{2} + 2 \,{\left (2 \, b^{2} f^{2} h i - b^{2} e f i^{2}\right )} x\right )} \log \left (c f x + c e\right )^{2} + 6 \,{\left (4 \,{\left (a^{2} - 2 \, a b + 2 \, b^{2}\right )} f^{2} h i -{\left (2 \, a^{2} - 6 \, a b + 7 \, b^{2}\right )} e f i^{2}\right )} x + 6 \,{\left ({\left (2 \, a b - b^{2}\right )} f^{2} i^{2} x^{2} + 2 \, a^{2} f^{2} h^{2} - 4 \,{\left (a^{2} - 2 \, a b + 2 \, b^{2}\right )} e f h i +{\left (2 \, a^{2} - 6 \, a b + 7 \, b^{2}\right )} e^{2} i^{2} + 2 \,{\left (4 \,{\left (a b - b^{2}\right )} f^{2} h i -{\left (2 \, a b - 3 \, b^{2}\right )} e f i^{2}\right )} x\right )} \log \left (c f x + c e\right )}{12 \, d f^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 2.79055, size = 452, normalized size = 1.9 \begin{align*} \frac{x^{2} \left (2 a^{2} i^{2} - 2 a b i^{2} + b^{2} i^{2}\right )}{4 d f} - \frac{x \left (2 a^{2} e i^{2} - 4 a^{2} f h i - 6 a b e i^{2} + 8 a b f h i + 7 b^{2} e i^{2} - 8 b^{2} f h i\right )}{2 d f^{2}} + \frac{\left (- 4 a b e i^{2} x + 8 a b f h i x + 2 a b f i^{2} x^{2} + 6 b^{2} e i^{2} x - 8 b^{2} f h i x - b^{2} f i^{2} x^{2}\right ) \log{\left (c \left (e + f x\right ) \right )}}{2 d f^{2}} + \frac{\left (b^{2} e^{2} i^{2} - 2 b^{2} e f h i + b^{2} f^{2} h^{2}\right ) \log{\left (c \left (e + f x\right ) \right )}^{3}}{3 d f^{3}} + \frac{\left (2 a^{2} e^{2} i^{2} - 4 a^{2} e f h i + 2 a^{2} f^{2} h^{2} - 6 a b e^{2} i^{2} + 8 a b e f h i + 7 b^{2} e^{2} i^{2} - 8 b^{2} e f h i\right ) \log{\left (e + f x \right )}}{2 d f^{3}} + \frac{\left (2 a b e^{2} i^{2} - 4 a b e f h i + 2 a b f^{2} h^{2} - 3 b^{2} e^{2} i^{2} + 4 b^{2} e f h i - 2 b^{2} e f i^{2} x + 4 b^{2} f^{2} h i x + b^{2} f^{2} i^{2} x^{2}\right ) \log{\left (c \left (e + f x\right ) \right )}^{2}}{2 d f^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.17982, size = 756, normalized size = 3.18 \begin{align*} \frac{24 \, b^{2} f^{2} h i x \log \left (c f x + c e\right )^{2} + 4 \, b^{2} f^{2} h^{2} \log \left (c f x + c e\right )^{3} - 8 \, b^{2} f h i e \log \left (c f x + c e\right )^{3} + 48 \, a b f^{2} h i x \log \left (c f x + c e\right ) - 48 \, b^{2} f^{2} h i x \log \left (c f x + c e\right ) + 12 \, a b f^{2} h^{2} \log \left (c f x + c e\right )^{2} - 6 \, b^{2} f^{2} x^{2} \log \left (c f x + c e\right )^{2} - 24 \, a b f h i e \log \left (c f x + c e\right )^{2} + 24 \, b^{2} f h i e \log \left (c f x + c e\right )^{2} + 24 \, a^{2} f^{2} h i x - 48 \, a b f^{2} h i x + 48 \, b^{2} f^{2} h i x - 12 \, a b f^{2} x^{2} \log \left (c f x + c e\right ) + 6 \, b^{2} f^{2} x^{2} \log \left (c f x + c e\right ) + 12 \, b^{2} f x e \log \left (c f x + c e\right )^{2} + 12 \, a^{2} f^{2} h^{2} \log \left (f x + e\right ) - 24 \, a^{2} f h i e \log \left (f x + e\right ) + 48 \, a b f h i e \log \left (f x + e\right ) - 48 \, b^{2} f h i e \log \left (f x + e\right ) - 6 \, a^{2} f^{2} x^{2} + 6 \, a b f^{2} x^{2} - 3 \, b^{2} f^{2} x^{2} + 24 \, a b f x e \log \left (c f x + c e\right ) - 36 \, b^{2} f x e \log \left (c f x + c e\right ) - 4 \, b^{2} e^{2} \log \left (c f x + c e\right )^{3} + 12 \, a^{2} f x e - 36 \, a b f x e + 42 \, b^{2} f x e - 12 \, a b e^{2} \log \left (c f x + c e\right )^{2} + 18 \, b^{2} e^{2} \log \left (c f x + c e\right )^{2} - 12 \, a^{2} e^{2} \log \left (f x + e\right ) + 36 \, a b e^{2} \log \left (f x + e\right ) - 42 \, b^{2} e^{2} \log \left (f x + e\right )}{12 \, d f^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]